Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
361	A Closer Look at Aspect Interference and Cooperation Cynthia Disenfeld Shmuel Katz Department of Computer Science Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2012-01-24 04:02:45 Aspect-oriented programming Logic in computer science Formal methods Philosophical logic Grammatical aspect Economic model AspectJ Formal verification Modal logic Software development Software Aspect-oriented software development
362	PHIL 110A Week 8: Time Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2014-03-03 11:11:58 Logic Neural networks Neuroscience Branches of philosophy Horology Time Modal logic Neural coding Causality Science Physics Computational neuroscience
363	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
364	Automated Error Diagnosis Using Abductive Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2012-03-25 02:32:25 Formal languages Model theory Entailment Static single assignment form Witness Function Modal logic Interpretation Symbol Logic Philosophical logic Mathematical logic
365	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs Xiaoping Chen1 , Jianmin Ji1 , and Fangzhen Lin2 1 School of Computer Science and Technology, Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2009-10-30 01:45:08 Mathematics Propositional calculus Boolean algebra Stable model semantics Predicate logic Answer set programming Clause Modal logic Algorithm Logic Mathematical logic Logic programming
366	A Declarative Semantics for Dedalus Peter Alvaro Tom J. Ameloot Joseph M. Hellerstein William Marczak Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2011-11-29 13:32:09 Computing Logic programming Philosophical logic Datalog Stable model semantics Partition FO Modal logic SQL Mathematics Query languages Logic
367	Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C Add to Reading List Source URL: web.cs.hacettepe.edu.tr Language: English - Date: 2014-08-23 07:46:03 Integer sequences Modal logic Non-classical logic Philosophical logic Comma Prime number Mathematical proof Logic Mathematics Mathematical logic
368	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
369	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
370	arXiv:1412.5090v2 [cs.LO] 17 DecBelief as Willingness to Bet Jan van Eijck Bryan Renne∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-12-18 22:39:50 Mathematics Non-classical logic Philosophical logic Epistemology Probabilistic logic Normal distribution Probability interpretations Probability Modal operator Logic Mathematical logic Modal logic

UPDATE